More from this Author

Automated Reasoning

by Didier Galmiche (Editor), Stephan Schulz (Editor), Roberto Sebastiani (Editor)